Maximality with or without binariness: Transfer-type characterizations
نویسنده
چکیده
We provide the first necessary and sufficient conditions in the literature for the existence of maximal elements in a non-binary choice framework. As an application, the characterization of the existence of maximal elements for acyclic binary relations obtained in Rodŕıguez-Palmero and Garćıa-Lapresta, 2002, Mathematical Social Sciences 43, 55-60, is deduced as a Corollary. Further characterizations in different settings given by Tian and Zhou, 1995, Journal of Mathematical Economics 24, 281-303, follow as well. Analogous characterization problems in the k-acyclic binary cases are solved too.
منابع مشابه
On certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملModules over Subalgebras of the Disk Algebra
This paper deals with the problem of characterizing submodules of C(T) over certain subalgebras of the disk algebra A. We obtain results that are analogues of the classical characterizations of subspaces of C(T) that are invariant under multiplication by z, i.e., that are submodules over A. These characterizations yield generalizations of Wermer’s maximality theorem applicable to these subalgeb...
متن کاملConsistency Strengths of Modified Maximality Principles
The Maximality Principle mp is a scheme which states that if a sentence of the language of zfc is true in some forcing extension V , and remains true in any further forcing extension of V , then it is true in all forcing extensions of V . A modified maximality principle mpΓ arises when considering forcing with a particular class Γ of forcing notions. A parametrized form of such a principle, mpΓ...
متن کاملUsing maximality-based labelled transition system as a model for petri nets
This work deals with the specification and the verification of concurrent systems. Our goal is to exploit an implementable model, namely the maximality -based labelled transition system, which permits expressing true-concurrency in a natural way without splitting actions on their start and end events. To do this, we give an operational semantics to build maximality-based labelled transition sys...
متن کاملThe Comparison Between the Pregnancy Outcome after Easy Embryo Transfer and Difficult Embryo Transfer
Background: The role of embryo transfer (ET) in the success of in vitro fertilization/intra cytoplasmic sperm injection treatment is not well understood. In the present study we classified ET technique as difficult and easy types according to certain strict criteria, and compared the pregnancy outcome of the two ET types. Methods: This study was performed retrospectively on 295 infertile patien...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Social Sciences
دوره 51 شماره
صفحات -
تاریخ انتشار 2006